The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.The development of high-integrity real-time systems, including their certification, is a demanding endeavour in terms of time, skills and effort involved. This is particularly true in application domains such as the avionics, where composable design is to be had to allow subdividing monolithic systems into components of smaller complexity, to be outsourced to developers subcontracted down the supply chain. Moreover, the increasing demand for computational power and the consequent interest in multicore HW architectures complicates system deployment. For these reasons, appropriate methodologies and tools need to be devised to help the industrial stakeholders master the overall system design complexity, while keeping manufacturing costs affordable. In this paper we present some elements of the CONCERTO platform, a toolset to support the end-to-end system development process from system modelling to analysis and validation, prior to code generation and deployment. The approach taken by CONCERTO is demonstrated for an illustrative avionics setup, however it is general enough to be applied to a number of industrial domains including the space, telecom and automotive. We finally reason about the benefits to an industrial user by comparing to similar initiatives in the research landscape

Circulating Tumor Cells as Predictive and Prognostic Biomarkers in Solid Tumors

Circulating tumor cells (CTCs) have emerged as pivotal biomarkers with significant predictive and prognostic implications in solid tumors. Their presence in peripheral blood offers a non-invasive window into the dynamic landscape of cancer progression and treatment response. This narrative literature review synthesizes the current state of knowledge surrounding the multifaceted role of CTCs in predicting clinical outcomes and informing prognosis across a spectrum of solid tumor malignancies. This review delves into the evolving landscape of CTC-based research, emphasizing their potential as early indicators of disease recurrence, metastatic potential, and therapeutic resistance. Moreover, we have underscored the dynamic nature of CTCs and their implications for personalized medicine. A descriptive and critical analysis of CTC detection methodologies, their clinical relevance, and their associated challenges is also presented, with a focus on recent advancements and emerging technologies. Furthermore, we examine the integration of CTC-based liquid biopsies into clinical practice, highlighting their role in guiding treatment decisions, monitoring treatment efficacy, and facilitating precision oncology. This review highlights the transformative impact of CTCs as predictive and prognostic biomarkers in the management of solid tumors by promoting a deeper understanding of the clinical relevance of CTCs and their role in advancing the field of oncology

Cyclic Olefin Copolymer Interleaves for Thermally Mendable Carbon/Epoxy Laminates

Thin cyclic olefin copolymer (COC) foils were used as intrinsic thermoplastic healing agents in carbon fiber (CF)-reinforced epoxy laminates. COC films were produced by hot pressing and were interleaved in the interlaminar regions between each EP/CF lamina, during the hand layup fabrication of the laminates. Three samples were produced, i.e., the neat EP/CF laminate without COC, and two laminates containing COC layers with a thickness of 44 μm and 77 μm, respectively. It was observed that the fiber volume fraction decreased, and the porosity increased with the introduction of COC layers, and this effect was more evident when thick films were used. These two effects, combined with the sub-optimal adhesion between COC and EP, caused a decrease in the mechanical properties (i.e., the elastic modulus, flexural strength, interlaminar shear strength and interlaminar fracture toughness) of the laminates. Specimens subjected to mode I interlaminar fracture toughness test were then thermally mended under pressure by resistive heating, through the Joule effect of conductive CFs. A temperature of approximately 190 °C was reached during the healing treatment. The healing efficiency was evaluated as the ratio of critical strain energy release rate (GIC) of the healed and virgin specimens. Healed specimens containing COC layers of 44 μm and 77 μm exhibited a healing efficiency of 164% and 100%, respectively. As expected, the healing treatment was not beneficial for the neat EP/CF laminate without COC, which experienced a healing efficiency of only 2%. This result proved the efficacy of COC layers as a healing agent for EP/CF laminates, and the effectiveness of resistive heating as a way to activate the intrinsic healing mechanism

CHESS: A model-driven engineering tool environment for aiding the development of complex industrial systems

Modern software systems require advanced design support capable of mastering rising complexity, as well as of automating as many development tasks as possible. Model- Driven Engineering (MDE) is earning consideration as a solid response to those challenges on account of its support for abstraction and domain specialisation. However, MDE adoption often shatters industrial practice because its novelty opposes the need to preserve vast legacy and to not disband the skills matured in pre-MDE or alternative development solutions. This work presents the CHESS tool environment, a novel approach for cross-domain modelling of industrial complex systems. It leverages on UML profiling and separation of concerns realised through the specification of well-defined design views, each of which addresses a particular aspect of the problem. In this way, extra-functional, functional, and deployment descriptions of the system can be given in a focused manner, avoiding issues pertaining to distinct concerns to interfere with one another

Raccomandazioni cliniche in odontostomatologia

L’Organizzazione Mondiale della Sanità considera la salute orale come parte integrante, non solo dello stato di salute generale, ma anche della qualità della vita di ciascun individuo. In tale ottica, in accordo e con il sostegno del mondo professionale e della comunità scientifica di questo settore, le raccomandazioni cliniche in odontostomatologia contenute nel presente volume forniscono indicazioni e definiscono standard di intervento per la prevenzione e la cura delle più comuni patologie del cavo orale nonché per l’identificazione di percorsi terapeutici appropriati a supporto degli operatori pubblici e privati. Esse costituiscono, inoltre, uno strumento utile per mantenere alto il livello di qualità delle cure in questo periodo storico, nel quale, se da un lato crescono le opportunità tecniche di cura e la potenziale domanda delle stesse, dall’altro la riduzione delle risorse economiche a disposizione dei cittadini tende a limitare l’accesso all’offerta professionale privata e, al contempo, i processi di razionalizzazione dell’allocazione dei fondi nel SSN rendono più difficile l’accesso alle strutture pubbliche. L’individuazione di raccomandazioni cliniche chiaramente definite e rese pubbliche può facilitare la condivisione degli obiettivi e dei percorsi terapeutici tra odontoiatra e paziente, migliorare la comunicazione e, in ultima analisi, accrescere la fiducia sia nei riguardi del proprio specifico professionista che del “sistema delle cure” più in generale. La revisione delle “Raccomandazioni cliniche in odontostomatologia” si è resa necessaria in considerazione del cambiamento dell’evidenza scientifica, dell’immissione in commercio di nuovi materiali e dell’utilizzo di nuove tecnologie, specie in ambito protesico. Come per la precedente, alla realizzazione di questa edizione ha contribuito un ampio gruppo di docenti ed esperti delle singole branche odontoiatriche insieme alle più importanti e rappresentative Associazioni professionali e ai componenti della Commissione Albo Odontoiatri (CAO) nazionale